In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...) and cognitive science is completely mistaken. We aim to give the reader a more accurate picture of mathematical logic and, in doing so, hope to show that logic, properly conceived, is still a very helpful tool in cognitive science. The main thrust of the book is therefore constructive. We give a number of examples in which logical theorizing helps in understanding and modeling observed behavior in reasoning tasks, deviations of that behavior in a psychiatric disorder (autism), and even the roots of that behavior in the evolution of the brain. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...) is known as geometric logic. (shrink)

There is a noticeable gap between results of cognitive neuroscientific research into basic mathematical abilities and philosophical and empirical investigations of mathematics as a distinct intellectual activity. The paper explores the relevance of a Wittgensteinian framework for dealing with this discrepancy.

We aim to show that Kant’s theory of time is consistent by providing axioms whose models validate all synthetic a priori principles for time proposed in the Critique of Pure Reason. In this paper we focus on the distinction between time as form of intuition and time as formal intuition, for which Kant’s own explanations are all too brief. We provide axioms that allow us to construct ‘time as formal intuition’ as a pair of continua, corresponding to time as ‘inner (...) sense’ and the external representation of time as a line Both continua are replete with infinitesimals, which we use to elucidate an enigmatic discussion of ‘rest’ in the Metaphysical foundations of natural science. Our main formal tools are Alexandroff topologies, inverse systems and the ring of dual numbers. (shrink)

The paper traces some of the assumptions that have informed conservative naturalism in linguistic theory, critically examines their justification, and proposes a more liberal alternative.

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.